Mathematical proof - PDFSEARCH.IO - Document Search Engine

Mathematical proof
Results: 1839

#	Item
671	LFMTP[removed]A List-machine Benchmark for Mechanized Metatheory (Extended Abstract) Andrew W. Appel Princeton University and INRIA Rocquencourt Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2006-07-19 04:40:31 Logic in computer science Type theory Deduction Automated theorem proving Formal methods Twelf Symbol Proof assistant POPLmark challenge Logic Theoretical computer science Mathematical logic
672	Learning from an expert’s proof AI4FM Leo Freitas and Cliff B Jones School of Computing Science, Newcastle University, UK, {leo.freitas, cliff.jones}@ncl.ac.uk Abstract Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:51 Automated theorem proving Mathematical logic Formal methods Logic in computer science Mathematical proof Proof assistant KeY Rippling Theorem Logic Mathematics Theoretical computer science
673	Computational Complexity Oded Goldreich Department of Computer Science Weizmann Institute of Science Rehovot, Israel. [removed] Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English - Date: 2014-06-22 06:25:18 Complexity classes Structural complexity theory Mathematical optimization Probabilistic complexity theory NP P versus NP problem P Bounded-error probabilistic polynomial Interactive proof system Theoretical computer science Computational complexity theory Applied mathematics
674	An outline of a proposed system that learns from experts how to discharge proof obligations automatically (extended abstract) Alan Bundy1 , Gudmund Grov1,2 , and Cliff B. Jones2 1 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:50 Mathematical logic Constructive proof Theorem Rippling Reification Vienna Development Method Logic Mathematics Mathematical proofs
675	The AI4FM approach for proof automation within formal methods A Grand Challenge 6 “Dependable Systems Evolution" project Gudmund Grov Alan Bundy Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:50 Logical syntax Formal methods Mathematical logic Theoretical computer science Rippling Mathematical proof Theorem Formal proof KeY Logic Mathematics Automated theorem proving
676	ACL2 for Freshmen: First Experiences Carl Eastlund [removed] Dale Vaillancourt [removed] Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Mathematical logic Theoretical computer science Lisp programming language Formal methods Logic in computer science ACL2 Mathematical proof Formal verification Recursion Mathematics Computing Computer programming
677	The University of Western Australia SCHOOL OF MATHEMATICS AND STATISTICS BLAKERS MATHEMATICS COMPETITION 2012 Problems with Solutions 1. A floor in the argument Add to Reading List Source URL: www.maths.uwa.edu.au Language: English - Date: 2013-05-27 01:28:08 Analytic functions Exponential function Mathematical fallacy Hyperbolic function Proof that π is irrational Mathematical analysis Mathematics Exponentials
678	Eudoxus of Cnidus1 Eudoxus (c. 400 BCE), son of Aeschines, is ranked among the greatest of the ancient mathematicians, surpassed perhaps only by Archimedes \| but more on Archimedes later. The few facts known concerning h Add to Reading List Source URL: www.math.tamu.edu Language: English - Date: 2000-08-27 08:56:56 Humanities Eudoxus of Cnidus Method of exhaustion Archimedes Callippus Celestial spheres Irrational number Mathematical proof Geometry Ancient Greek mathematicians 1st millennium BC Mathematics
679	Intuitionistic Logic of Proofs with dependent proof terms Giuseppe Primiero FWO – Centre for Logic and Philosophy of Science Ghent University (Belgium) Abstract Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-05-02 07:22:41 Proof theory Logical syntax Philosophical logic Logic in computer science Mathematical constructivism Natural deduction Mathematical proof Theorem Brouwer–Heyting–Kolmogorov interpretation Logic Mathematical logic Mathematics

UPDATE